演绎数据库虚关系的内部表示

介绍了演绎数据库的系统结构，并着重介绍了基于SQL Serverr之上的递归查询算法和将以规则形式存放于外存的虚关系转化为内部表示的过程。     

基于QFD的网站用户需求分析

以最终用户满意为驱动力,基于质量功能展开原理,提出一种将网站用户需求转化为对网站各个环节的要求的多层次演绎分析方法,即网站用户需求展开,为将用户满意理念贯穿于网站的设计与管理之中提供了理论框架与操作方法。     

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

基于规则的专家系统诊断问题求解的一种模型

本文试图通过引进外推推理来克服基于规则的专家系统的不足,并为演绎推理和外推推理寻求一种一致的解释和理论基础.在讨论了规则的因果模型解释后,本文提出了诊断问题求解的最佳蕴含模型和基于该模型的循环生成-测试的推理方法.     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

基于Timmons模型的大学生创业路径演绎规律研究——以浙江万里学院为例

十八大报告提出“以创业带动就业”、“支持青年创业”等都可以体现出当前党和国家非常重视大学生创业,但目前大学生创业率非常低,存活率更低,究其原因是目前缺少各类成功案例解析,本文以浙江万里学院历届成功创业学子为例,基于Timmons模型结合实际凝练大学生创业成长路径要素,构建创业路径模型,依据模型提出创业规划策略.     

一个演绎工程数据库模型

本文将演绎数据库和工程数据库结合起来,在分析了它们各自发展现状的基础上,给出了一个基于知识的工程数据库模型,该模型可以有效地解决上述工程应用问题。本文着重分析了在实际工程应用环境中知识的新特点,给出了演绎工程数据库模型的形式化描述,并讨论了在此情况下的推理问题,最后用知识规则统一表示了数据库完整性约束。     

基于关系的知识库的演绎查询

本文提出一种基于关系的知识库模型。这个模型中根据用户提出的查询问题，对知识体进行有效的演绎查询，采用多层次多级别方法构造演绎检索过程，以达到减小搜索空间，减小知识冗余度，加快演绎推理速度的目的。     

演绎数据库中处理递归查询的一种改进算法

如何提高演绎数据库的递归查询效率是演绎数据库领域所面临的一个重要问题．介绍了一种结合传统的逻辑查询处理自顶向下和自底向上两种处理方式的递归查询算法．该算法基于侧向信息传递策略，把查询计算始终限制在与查询的初始约束相关的元组，从而避免了大量无关数据的计算．     

物元演绎推理

从处理不相容问题的实际需要出发,提出了有关物元演算的若干物元联结词,并建立了一套旨在分析物元之间以及物元要素之间的逻辑关系的物元演绎推理规则,它尤其适用于不相容问题的分析处理。